Fragmentación de programas con excepciones

[ES] La fragmentación de programas es una técnica de análisis de programas que puede ser aplicada prácticamente a todos los lenguajes de programación. Sin embargo, en presencia de excepciones, los fragmentadores de programas tienen un problema de precisión. Este proyecto aborda el problema de la fragmentación de programas en presencia de excepciones, analizando el problema desde una perspectiva general (para cualquier tipo de sistema de excepciones), pero concentrando nuestros esfuerzos en el paradigma de la orientación a objetos, más específicamente en el lenguaje Java. En esta tesis, estudiamos las soluciones existentes al problema planteado, y proponemos una generalización que incluye por lo menos las instrucciones 'try-catch' y 'throw'. Damos descripciones detalladas, generalizaciones y soluciones a dos problemas que aumentan innecesariamente el tamaño de los fragmentos de programa y un problema que reduce bastante la precisión. Las soluciones que proponemos producen fragmentos que garantizan la completitud y son tan correctos como es posible, dadas las restricciones marcadas por el sistema de manejo de excepciones. El análisis realizado y las soluciones propuestas son específicas para el lenguaje de programación Java y su sistema de manejo de excepciones, pero también son lo suficientemente generales como para poder ser empleadas en otros lenguajes de programación que posean un sistema de excepciones. También son específicas para la fragmentación estática hacia atrás, pero, del mismo modo, son compatibles con otras variantes en la fragmentación de programas.[EN] Program slicing is an analysis technique that can be applied to practically all programming languages. However, in the presence of exception handling, current program slicing software has a precision problem. This project tackles the problem of program slicing with exception handling, analysing the problem from a general perspective (for any kind of exception system), but focusing our efforts in the object-oriented paradigm, specifically the Java language. In this thesis, we study the currently available solutions to the problem, and we propose a generalization that includes at least the 'try-catch' and 'throw' statements. We provide detailed descriptions, generalizations and solutions for two problems that increase the size of slices and one problem that greatly reduces the precision of slices. The solutions we propose produce slices that guarantee completeness and are as correct as possible, given the restrictions set by the exception handling system. The analysis performed and solutions proposed are specific for the Java programming language, but are general enough that they can be ported effortlessly to other programming languages with similar exception handling capabilities. They are also specific for static backward slicing, but are likewise compatible with other variants of program slicing.Galindo Jiménez, CS. (2019). Fragmentación de programas con excepciones. http://hdl.handle.net/10251/136752TFG

Slicing unconditional jumps with unnecessary control dependencies

[EN] Program slicing is an analysis technique that has a wide range of applications, ranging from compilers to clone detection software, and that has been applied to practically all programming languages. Most program slicing techniques are based on a widely extended program representation, the System Dependence Graph (SDG). However, in the presence of unconditional jumps, there exist some situations where most SDG-based slicing techniques are not as accurate as possible, including more code than strictly necessary. In this paper, we identify one of these scenarios, pointing out the cause of the inaccuracy, and describing the initial solution to the problem proposed in the literature, together with an extension, which solves the problem completely. These solutions modify both the SDG generation and the slicing algorithm. Additionally, we propose an alternative solution, that solves the problem by modifying only the SDG generation, leaving the slicing algorithm untouched.This work has been partially supported by the EU (FEDER) and the Spanish MCI/AEI under grants TIN2016-76843-C4-1-R and PID2019-104735RB-C41, by the Generalitat Valenciana under grant Prometeo/2019/098 (DeepTrust), and by TAILOR, a project funded by EU Horizon 2020 research and innovation programme under GA No 952215Galindo-Jiménez, CS.; Pérez-Rubio, S.; Silva, J. (2021). Slicing unconditional jumps with unnecessary control dependencies. Lecture Notes in Computer Science. 12561:293-308. https://doi.org/10.1007/978-3-030-68446-4_15S2933081256

Reversible CSP Computations

© 2021 IEEE. Personal use of this material is permitted. Permissíon from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertisíng or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.[EN] Reversibility enables a program to be executed both forwards and backwards. This ability allows programmers to backtrack the execution to a previous state. This is essential if the computation is not deterministic because re-running the program forwards may not lead to that state of interest. Reversibility of sequential programs has been well studied and a strong theoretical basis exists. Contrarily, reversibility of concurrent programs is still very young, especially in the practical side. For instance, in the particular case of the Communicating Sequential Processes (CSP) language, reversibility is practically missing. In this article, we present a new technique, including its formal definition and its implementation, to reverse CSP computations. Most of the ideas presented can be directly applied to other concurrent specification languages such as Promela or CCS, but we center the discussion and the implementation on CSP. The technique proposes different forms of reversibility, including strict reversibility and causal-consistent reversibility. On the practical side, we provide an implementation of a system to reverse CSP computations that is able to highlight the source code that is being executed in each forwards/backwards computation step, and that has been optimized to be scalable to real systems.A preliminary version of this work was presented at the 12th Conference on Reversible Computation [31]. The authors would like to thank the anonymous reviewers for their useful comments and constructive feedback that helped them to improve this work. This work was supported in part by the EU (FEDER) and the Spanish MCI/AEI under Grant TIN2016-76843-C4-1-R and Grant PID2019-104735RB-C41, in part by the Generalitat Valenciana under Grant Prometeo/2019/098 (DeepTrust), in part by JSPS KAKENHI under Grant JP17H01722, and in part by TAILOR, a project funded by EU Horizon 2020 research and innovation programme under GA 952215.Galindo-Jiménez, CS.; Nishida, N.; Silva, J.; Tamarit, S. (2021). Reversible CSP Computations. IEEE Transactions on Parallel and Distributed Systems. 32(6):1425-1436. https://doi.org/10.1109/TPDS.2021.3051747S1425143632

Review: Strategies for enteric methane mitigation in cattle fed tropical forages

Methane (CH4) is a greenhouse gas (GHG) produced and released by eructation to the atmosphere in large volumes by ruminants. Enteric CH4 contributes significantly to global GHG emissions arising from animal agriculture. It has been contended that tropical grasses produce higher emissions of enteric CH4 than temperate grasses, when they are fed to ruminants. A number of experiments have been performed in respiration chambers and head-boxes to assess the enteric CH4 mitigation potential of foliage and pods of tropical plants, as well as nitrates (NO3−) and vegetable oils in practical rations for cattle. On the basis of individual determinations of enteric CH4 carried out in respiration chambers, the average CH4 yield for cattle fed low-quality tropical grasses (>70% ration DM) was 17.0 g CH4/kg DM intake. Results showed that when foliage and ground pods of tropical trees and shrubs were incorporated in cattle rations, methane yield (g CH4/kg DM intake) was decreased by 10% to 25%, depending on plant species and level of intake of the ration. Incorporation of nitrates and vegetable oils in the ration decreased enteric CH4 yield by ∼6% to ∼20%, respectively. Condensed tannins, saponins and starch contained in foliages, pods and seeds of tropical trees and shrubs, as well as nitrates and vegetable oils, can be fed to cattle to mitigate enteric CH4 emissions under smallholder conditions. Strategies for enteric CH4 mitigation in cattle grazing low-quality tropical forages can effectively increase productivity while decreasing enteric CH4 emissions in absolute terms and per unit of product (e.g. meat, milk), thus reducing the contribution of ruminants to GHG emissions and therefore to climate change

Delphi Project on the trends in Implant Dentistry in the COVID-19 era: Perspectives from Latin America

This article is made available for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.Aim To establish trends in Implant Dentistry in Latin America in the COVID‐19 pandemic. Material and methods A steering committee and an advisory group of experts in Implant Dentistry were selected among eighteen countries. An open‐ended questionnaire by Delphi methodology was validated including 64 questions, divided in 7 topics, concerning the various trends in dental implantology. The survey was conducted in two rounds, which provided the participants in the second round with the results of the first. The questionnaires were completed on August 2020, and the online meeting conference was held on September 2020. The final prediction was developed through consensus by a selected group of experts. Results A total of 197 experts from Latin America answered the first and second questionnaire. In the first round, the established threshold for consensus (65%) was achieved in 30 questions (46.87%). In the second round, performed on average 45 days later, this level was achieved in 47 questions (73.43%). Consensus was completely reached on the item “Diagnostic” (100%), the field with the lowest consensus was “Demand for treatment with dental implants” (37.5%). Conclusions The present study in Latin America has provided relevant and useful information on the predictions in the education and practice of Implant Dentistry in the COVID‐19 era. The consensus points toward a great confidence of clinicians in the biosecurity protocols used to minimize the risk of SARS‐CoV‐2 transmission. It is foreseen as an important change in education, with introduction of virtual reality and other simulation technologies in implant training

Effectiveness of an intervention for improving drug prescription in primary care patients with multimorbidity and polypharmacy:Study protocol of a cluster randomized clinical trial (Multi-PAP project)

This study was funded by the Fondo de Investigaciones Sanitarias ISCIII (Grant Numbers PI15/00276, PI15/00572, PI15/00996), REDISSEC (Project Numbers RD12/0001/0012, RD16/0001/0005), and the European Regional Development Fund ("A way to build Europe").Background: Multimorbidity is associated with negative effects both on people's health and on healthcare systems. A key problem linked to multimorbidity is polypharmacy, which in turn is associated with increased risk of partly preventable adverse effects, including mortality. The Ariadne principles describe a model of care based on a thorough assessment of diseases, treatments (and potential interactions), clinical status, context and preferences of patients with multimorbidity, with the aim of prioritizing and sharing realistic treatment goals that guide an individualized management. The aim of this study is to evaluate the effectiveness of a complex intervention that implements the Ariadne principles in a population of young-old patients with multimorbidity and polypharmacy. The intervention seeks to improve the appropriateness of prescribing in primary care (PC), as measured by the medication appropriateness index (MAI) score at 6 and 12months, as compared with usual care. Methods/Design: Design:pragmatic cluster randomized clinical trial. Unit of randomization: family physician (FP). Unit of analysis: patient. Scope: PC health centres in three autonomous communities: Aragon, Madrid, and Andalusia (Spain). Population: patients aged 65-74years with multimorbidity (≥3 chronic diseases) and polypharmacy (≥5 drugs prescribed in ≥3months). Sample size: n=400 (200 per study arm). Intervention: complex intervention based on the implementation of the Ariadne principles with two components: (1) FP training and (2) FP-patient interview. Outcomes: MAI score, health services use, quality of life (Euroqol 5D-5L), pharmacotherapy and adherence to treatment (Morisky-Green, Haynes-Sackett), and clinical and socio-demographic variables. Statistical analysis: primary outcome is the difference in MAI score between T0 and T1 and corresponding 95% confidence interval. Adjustment for confounding factors will be performed by multilevel analysis. All analyses will be carried out in accordance with the intention-to-treat principle. Discussion: It is essential to provide evidence concerning interventions on PC patients with polypharmacy and multimorbidity, conducted in the context of routine clinical practice, and involving young-old patients with significant potential for preventing negative health outcomes. Trial registration: Clinicaltrials.gov, NCT02866799Publisher PDFPeer reviewe

Experiencias en el aula: cuarto encuentro de prácticas pedagógicas innovadoras.

Cuarto encuentro de prácticas pedagógicas innovadoras, evento que se llevo a cabo los días 7 y 8 de Octubre de 2019

Experiencias en el aula: cuarto encuentro de prácticas pedagógicas innovadoras.

Cuarto encuentro de prácticas pedagógicas innovadoras, evento que se llevo a cabo los días 7 y 8 de Octubre de 2019

Mis casos clínicos de especialidades odontológicas

Libro que muestra la atención de casos clínicos particulares referente a las diferentes especialidades odontológicasLibro que muestra la atención de casos clínicos particulares referente a las diferentes especialidades odontológicasUniversidad Autónoma de Campeche Universidad Autónoma del Estado de Hidalgo Universidad Autónoma del Estado de Méxic